Vietnamese dictionaries for mobile phones

theorem proving not found. Suggestions:

Green's Theorem

four colour map theorem

DeMorgan's theorem

General Recursion Theorem

head normalisation theorem